Optimal. Leaf size=313 \[ \frac {2 B \sqrt {-d e+c f} \sqrt {\frac {d (e+f x)}{d e-c f}} \sqrt {\frac {d (g+h x)}{d g-c h}} F\left (\sin ^{-1}\left (\frac {\sqrt {f} \sqrt {c+d x}}{\sqrt {-d e+c f}}\right )|\frac {(d e-c f) h}{f (d g-c h)}\right )}{b d \sqrt {f} \sqrt {e+f x} \sqrt {g+h x}}-\frac {2 \left (A-\frac {a B}{b}\right ) \sqrt {-d e+c f} \sqrt {\frac {d (e+f x)}{d e-c f}} \sqrt {\frac {d (g+h x)}{d g-c h}} \Pi \left (-\frac {b (d e-c f)}{(b c-a d) f};\sin ^{-1}\left (\frac {\sqrt {f} \sqrt {c+d x}}{\sqrt {-d e+c f}}\right )|\frac {(d e-c f) h}{f (d g-c h)}\right )}{(b c-a d) \sqrt {f} \sqrt {e+f x} \sqrt {g+h x}} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.49, antiderivative size = 313, normalized size of antiderivative = 1.00, number of steps
used = 9, number of rules used = 7, integrand size = 40, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.175, Rules used = {1621, 175, 552,
551, 12, 122, 121} \begin {gather*} \frac {2 B \sqrt {c f-d e} \sqrt {\frac {d (e+f x)}{d e-c f}} \sqrt {\frac {d (g+h x)}{d g-c h}} F\left (\text {ArcSin}\left (\frac {\sqrt {f} \sqrt {c+d x}}{\sqrt {c f-d e}}\right )|\frac {(d e-c f) h}{f (d g-c h)}\right )}{b d \sqrt {f} \sqrt {e+f x} \sqrt {g+h x}}-\frac {2 \left (A-\frac {a B}{b}\right ) \sqrt {c f-d e} \sqrt {\frac {d (e+f x)}{d e-c f}} \sqrt {\frac {d (g+h x)}{d g-c h}} \Pi \left (-\frac {b (d e-c f)}{(b c-a d) f};\text {ArcSin}\left (\frac {\sqrt {f} \sqrt {c+d x}}{\sqrt {c f-d e}}\right )|\frac {(d e-c f) h}{f (d g-c h)}\right )}{\sqrt {f} \sqrt {e+f x} \sqrt {g+h x} (b c-a d)} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 12
Rule 121
Rule 122
Rule 175
Rule 551
Rule 552
Rule 1621
Rubi steps
\begin {align*} \int \frac {A+B x}{(a+b x) \sqrt {c+d x} \sqrt {e+f x} \sqrt {g+h x}} \, dx &=\left (A-\frac {a B}{b}\right ) \int \frac {1}{(a+b x) \sqrt {c+d x} \sqrt {e+f x} \sqrt {g+h x}} \, dx+\int \frac {B}{b \sqrt {c+d x} \sqrt {e+f x} \sqrt {g+h x}} \, dx\\ &=\frac {B \int \frac {1}{\sqrt {c+d x} \sqrt {e+f x} \sqrt {g+h x}} \, dx}{b}-\left (2 \left (A-\frac {a B}{b}\right )\right ) \text {Subst}\left (\int \frac {1}{\left (b c-a d-b x^2\right ) \sqrt {e-\frac {c f}{d}+\frac {f x^2}{d}} \sqrt {g-\frac {c h}{d}+\frac {h x^2}{d}}} \, dx,x,\sqrt {c+d x}\right )\\ &=\frac {\left (B \sqrt {\frac {d (e+f x)}{d e-c f}}\right ) \int \frac {1}{\sqrt {c+d x} \sqrt {\frac {d e}{d e-c f}+\frac {d f x}{d e-c f}} \sqrt {g+h x}} \, dx}{b \sqrt {e+f x}}-\frac {\left (2 \left (A-\frac {a B}{b}\right ) \sqrt {\frac {d (e+f x)}{d e-c f}}\right ) \text {Subst}\left (\int \frac {1}{\left (b c-a d-b x^2\right ) \sqrt {1+\frac {f x^2}{d \left (e-\frac {c f}{d}\right )}} \sqrt {g-\frac {c h}{d}+\frac {h x^2}{d}}} \, dx,x,\sqrt {c+d x}\right )}{\sqrt {e+f x}}\\ &=\frac {\left (B \sqrt {\frac {d (e+f x)}{d e-c f}} \sqrt {\frac {d (g+h x)}{d g-c h}}\right ) \int \frac {1}{\sqrt {c+d x} \sqrt {\frac {d e}{d e-c f}+\frac {d f x}{d e-c f}} \sqrt {\frac {d g}{d g-c h}+\frac {d h x}{d g-c h}}} \, dx}{b \sqrt {e+f x} \sqrt {g+h x}}-\frac {\left (2 \left (A-\frac {a B}{b}\right ) \sqrt {\frac {d (e+f x)}{d e-c f}} \sqrt {\frac {d (g+h x)}{d g-c h}}\right ) \text {Subst}\left (\int \frac {1}{\left (b c-a d-b x^2\right ) \sqrt {1+\frac {f x^2}{d \left (e-\frac {c f}{d}\right )}} \sqrt {1+\frac {h x^2}{d \left (g-\frac {c h}{d}\right )}}} \, dx,x,\sqrt {c+d x}\right )}{\sqrt {e+f x} \sqrt {g+h x}}\\ &=\frac {2 B \sqrt {-d e+c f} \sqrt {\frac {d (e+f x)}{d e-c f}} \sqrt {\frac {d (g+h x)}{d g-c h}} F\left (\sin ^{-1}\left (\frac {\sqrt {f} \sqrt {c+d x}}{\sqrt {-d e+c f}}\right )|\frac {(d e-c f) h}{f (d g-c h)}\right )}{b d \sqrt {f} \sqrt {e+f x} \sqrt {g+h x}}-\frac {2 \left (A-\frac {a B}{b}\right ) \sqrt {-d e+c f} \sqrt {\frac {d (e+f x)}{d e-c f}} \sqrt {\frac {d (g+h x)}{d g-c h}} \Pi \left (-\frac {b (d e-c f)}{(b c-a d) f};\sin ^{-1}\left (\frac {\sqrt {f} \sqrt {c+d x}}{\sqrt {-d e+c f}}\right )|\frac {(d e-c f) h}{f (d g-c h)}\right )}{(b c-a d) \sqrt {f} \sqrt {e+f x} \sqrt {g+h x}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [C] Result contains complex when optimal does not.
time = 21.26, size = 245, normalized size = 0.78 \begin {gather*} \frac {2 i \sqrt {e+f x} \sqrt {\frac {d (g+h x)}{h (c+d x)}} \left (b (-B c+A d) F\left (i \sinh ^{-1}\left (\frac {\sqrt {-c+\frac {d e}{f}}}{\sqrt {c+d x}}\right )|\frac {d f g-c f h}{d e h-c f h}\right )+(-A b+a B) d \Pi \left (-\frac {b c f-a d f}{b d e-b c f};i \sinh ^{-1}\left (\frac {\sqrt {-c+\frac {d e}{f}}}{\sqrt {c+d x}}\right )|\frac {d f g-c f h}{d e h-c f h}\right )\right )}{b (-b c+a d) \sqrt {-c+\frac {d e}{f}} f \sqrt {\frac {d (e+f x)}{f (c+d x)}} \sqrt {g+h x}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] Leaf count of result is larger than twice the leaf count of optimal. \(667\) vs.
\(2(279)=558\).
time = 0.12, size = 668, normalized size = 2.13
method | result | size |
elliptic | \(\frac {\sqrt {\left (d x +c \right ) \left (f x +e \right ) \left (h x +g \right )}\, \left (\frac {2 B \left (-\frac {e}{f}+\frac {g}{h}\right ) \sqrt {\frac {x +\frac {g}{h}}{-\frac {e}{f}+\frac {g}{h}}}\, \sqrt {\frac {x +\frac {c}{d}}{-\frac {g}{h}+\frac {c}{d}}}\, \sqrt {\frac {x +\frac {e}{f}}{-\frac {g}{h}+\frac {e}{f}}}\, \EllipticF \left (\sqrt {\frac {x +\frac {g}{h}}{-\frac {e}{f}+\frac {g}{h}}}, \sqrt {\frac {-\frac {g}{h}+\frac {e}{f}}{-\frac {g}{h}+\frac {c}{d}}}\right )}{b \sqrt {d f h \,x^{3}+c f h \,x^{2}+d e h \,x^{2}+d f g \,x^{2}+c e h x +c f g x +d e g x +c e g}}+\frac {2 \left (A b -B a \right ) \left (-\frac {e}{f}+\frac {g}{h}\right ) \sqrt {\frac {x +\frac {g}{h}}{-\frac {e}{f}+\frac {g}{h}}}\, \sqrt {\frac {x +\frac {c}{d}}{-\frac {g}{h}+\frac {c}{d}}}\, \sqrt {\frac {x +\frac {e}{f}}{-\frac {g}{h}+\frac {e}{f}}}\, \EllipticPi \left (\sqrt {\frac {x +\frac {g}{h}}{-\frac {e}{f}+\frac {g}{h}}}, \frac {-\frac {g}{h}+\frac {e}{f}}{-\frac {g}{h}+\frac {a}{b}}, \sqrt {\frac {-\frac {g}{h}+\frac {e}{f}}{-\frac {g}{h}+\frac {c}{d}}}\right )}{b^{2} \sqrt {d f h \,x^{3}+c f h \,x^{2}+d e h \,x^{2}+d f g \,x^{2}+c e h x +c f g x +d e g x +c e g}\, \left (-\frac {g}{h}+\frac {a}{b}\right )}\right )}{\sqrt {d x +c}\, \sqrt {f x +e}\, \sqrt {h x +g}}\) | \(478\) |
default | \(-\frac {2 \sqrt {h x +g}\, \sqrt {f x +e}\, \sqrt {d x +c}\, \sqrt {-\frac {\left (h x +g \right ) f}{e h -f g}}\, \sqrt {\frac {\left (d x +c \right ) h}{c h -d g}}\, \sqrt {\frac {\left (f x +e \right ) h}{e h -f g}}\, \left (A \EllipticPi \left (\sqrt {-\frac {\left (h x +g \right ) f}{e h -f g}}, \frac {\left (e h -f g \right ) b}{f \left (a h -b g \right )}, \sqrt {\frac {\left (e h -f g \right ) d}{f \left (c h -d g \right )}}\right ) b e \,h^{2}-A \EllipticPi \left (\sqrt {-\frac {\left (h x +g \right ) f}{e h -f g}}, \frac {\left (e h -f g \right ) b}{f \left (a h -b g \right )}, \sqrt {\frac {\left (e h -f g \right ) d}{f \left (c h -d g \right )}}\right ) b f g h -B \EllipticPi \left (\sqrt {-\frac {\left (h x +g \right ) f}{e h -f g}}, \frac {\left (e h -f g \right ) b}{f \left (a h -b g \right )}, \sqrt {\frac {\left (e h -f g \right ) d}{f \left (c h -d g \right )}}\right ) a e \,h^{2}+B \EllipticPi \left (\sqrt {-\frac {\left (h x +g \right ) f}{e h -f g}}, \frac {\left (e h -f g \right ) b}{f \left (a h -b g \right )}, \sqrt {\frac {\left (e h -f g \right ) d}{f \left (c h -d g \right )}}\right ) a f g h +B \EllipticF \left (\sqrt {-\frac {\left (h x +g \right ) f}{e h -f g}}, \sqrt {\frac {\left (e h -f g \right ) d}{f \left (c h -d g \right )}}\right ) a e \,h^{2}-B \EllipticF \left (\sqrt {-\frac {\left (h x +g \right ) f}{e h -f g}}, \sqrt {\frac {\left (e h -f g \right ) d}{f \left (c h -d g \right )}}\right ) a f g h -B \EllipticF \left (\sqrt {-\frac {\left (h x +g \right ) f}{e h -f g}}, \sqrt {\frac {\left (e h -f g \right ) d}{f \left (c h -d g \right )}}\right ) b e g h +B \EllipticF \left (\sqrt {-\frac {\left (h x +g \right ) f}{e h -f g}}, \sqrt {\frac {\left (e h -f g \right ) d}{f \left (c h -d g \right )}}\right ) b f \,g^{2}\right )}{b f h \left (a h -b g \right ) \left (d f h \,x^{3}+c f h \,x^{2}+d e h \,x^{2}+d f g \,x^{2}+c e h x +c f g x +d e g x +c e g \right )}\) | \(668\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F(-1)] Timed out
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {A + B x}{\left (a + b x\right ) \sqrt {c + d x} \sqrt {e + f x} \sqrt {g + h x}}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.00 \begin {gather*} \int \frac {A+B\,x}{\sqrt {e+f\,x}\,\sqrt {g+h\,x}\,\left (a+b\,x\right )\,\sqrt {c+d\,x}} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________